ABSTRACT AND STRUCTURAL MODELING OF DATA STORAGE AND PROCESSING NETWORKS

Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, rector of Penza State University, rectorat@pnzgu.ru
Zinkin Sergey Alexandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University, zsa49@yandex.ru 

681.324 

The paper considers the use of formal representations of distributed processes and objects that interact through a common structured memory space. The authors resort to an algebraic approach to the definition of an operating semantics of distributed systems, data storage and processing, based on the definition of data networks with systems of abstract machines. The solution of these problems is based on integration of artificial intelligence techniques with formally defined distributed behavioral model. At the formal level the researchers describe the transition from centralized systems of external data storage and processing to functionally and topologically decentralized networks. 

data storage, data processing, formal representations of distributed processes, algebraic approach, networks of abstract machines, distributed behavioral models, topologically decentralized networks.